have_onetwo  []      = false  
have_onetwo (1:2:xs) = true 
have_onetwo (x:xs)   = have_onetwo xs

main = have_onetwo [1, 3, 1, 2 ,3 ]
